Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔒 Type Safety
Memory Safety, Rust Ownership, Linear Types, Resource Management
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27760
posts in
14.5
ms
Translating
C To Rust:
Lessons
from a User Study
papers.cool
·
1d
🦀
Rust Borrowing
Nobody
ever got fired for using a
struct
(blog)
feldera.com
·
11h
·
Discuss:
Hacker News
,
r/programming
,
r/rust
🦀
Rust Verification
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
1d
🔬
Refinement Types
I built a
persistent
memory
layer
for AI agents in Rust
news.ycombinator.com
·
13h
·
Discuss:
Hacker News
🦀
Rust Borrowing
Rust 1.77.0:
C-String
Literals
and More
hackernoon.com
·
1d
🦀
Rust Borrowing
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
The Rust Calling
Convention
We
Deserve
mcyoung.xyz
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Understanding
SMF
properties
davepacheco.net
·
11h
💧
Liquid Types
Lil' Fun
Langs
'
Guts
taylor.town
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔗
Functional Compilers
Rust's plan for improvements to
immovable
types and async
ergonomics
over the next few years
bsky.app
·
2d
·
Discuss:
Bluesky
🦀
Embedded Rust
A dialogue on trivial-abi and
trivially
relocatable
quuxplusone.github.io
·
1d
🦀
Rust Verification
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
1d
🔠
Type-Level Programming
Formal
methods for the
unsafe
side of the Force
antithesis.com
·
4d
·
Discuss:
Hacker News
🦀
Rust Verification
Claude code
underlap.org
·
1d
🔩
Systems Programming
State of
Haskell
2025 results
discourse.haskell.org
·
13h
·
Discuss:
Lobsters
,
r/programming
🔗
Functional Compilers
Dino
in the Machine:
Surviving
the Transformer Latency Trap in C++
hackernoon.com
·
1d
🏗️
Compiler Archaeology
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
11h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
sunshowers
sunshowers.io
·
1d
🦀
Rust Borrowing
Mutability
Considered
Harmful
psteitz.blogspot.com
·
1d
·
Discuss:
Hacker News
🌳
Persistent Data Structures
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help